Nuprl Definition : ecl-machine1
11,40
postcript
pdf
ecl-machine1{$ecl:ut2}
ecl-machine1
(
i
;
ds
;
da
;
A
)
== spreadn(ecl-trans(
A
);
== spreadn(
T
,
ks
,
init
,
tr
,
h
,
a
,
es
.R-state-var-init(
i
;
ds
;
da
; mkid{$ecl:ut2};
T
;
init
;
ks
;
tr
))
latex
Definitions
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
))
,
ecl-trans(
x
)
,
R-state-var-init(
i
;
ds
;
da
;
x
;
T
;
v
;
ks
;
tr
)
,
mkid{$x:ut2}
origin